FINKEL, ALAIN: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Consciousness, Free Energy and Cognitive Algorithms

Rabeyron, Thomas, Finkel, Alain

Journal:

Frontiers in Psychology

Year:

2020

File:

PDF, 370 KB

2020

2

Neue, einfache Algorithmen für Petrinetze

Finkel, Alain, Leroux, Jérôme

Journal:

Informatik-Spektrum

Year:

2014

Language:

german

File:

PDF, 404 KB

german, 2014

3

Automatic Verification of Counter Systems With Ranking Function

Emmanuelle Encrenaz, Alain Finkel

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 491 KB

english, 2009

4

[Lecture Notes in Computer Science] STACS 92 Volume 577 || Enclosing many boxes by an optimal pair of boxes

Finkel, Alain, Jantzen, Matthias

Year:

1992

Language:

english

File:

PDF, 682 KB

english, 1992

5

[Lecture Notes in Computer Science] STACS 92 Volume 577 || Deterministic regular languages

Finkel, Alain, Jantzen, Matthias

Year:

1992

Language:

english

File:

PDF, 592 KB

english, 1992

6

[Lecture Notes in Computer Science] STACS 92 Volume 577 || Efficient algorithms for solving systems of linear equations and path problems

Finkel, Alain, Jantzen, Matthias

Year:

1992

Language:

english

File:

PDF, 652 KB

english, 1992

7

A polynomial algorithm for the membership problem with categorial grammars

Alain Finkel, Isabelle Tellier

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 1024 KB

english, 1996

8

Reachability in Timed Counter Systems

Florent Bouchy, Alain Finkel, Arnaud Sangnier

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 302 KB

english, 2009

9

An efficient automata approach to some problems on context-free grammars

Ahmed Bouajjani, Javier Esparza, Alain Finkel, Oded Maler, Peter Rossmanith, Bernard Willems, Pierre Wolper

Journal:

Information Processing Letters

Year:

2000

Language:

english

File:

PDF, 96 KB

english, 2000

10

Verifying identical communicating processes is undecidable

Alain Finkel, Pierre McKenzie

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 932 KB

english, 1997

11

A polynomial λ-bisimilar normalization for reset Petri nets

Catherine Dufourd, Alain Finkel

Journal:

Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 397 KB

english, 1999

12

Cyclic Petri Net Reachability Sets are Semi-linear Effectively Constructible

Zakaria Bouziane, Alain Finkel

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 761 KB

english, 1997

13

A Direct Symbolic Approach to Model Checking Pushdown Systems (extended abstract)

Alain Finkel, Bernard Willems, Pierre Wolper

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1997

File:

PDF, 586 KB

1997

14

Fifo nets without order deadlock

Alain Finkel, Annie Choquet

Journal:

Acta Informatica

Year:

1988

Language:

english

File:

PDF, 1008 KB

english, 1988

15

Decidability of the termination problem for completely specified protocols

Journal:

Distributed Computing

Year:

1994

Language:

english

File:

PDF, 854 KB

english, 1994

16

FAST: acceleration from theory to practice

Sébastien Bardin, Alain Finkel, Jérôme Leroux, Laure Petrucci

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2008

Language:

english

File:

PDF, 1.84 MB

english, 2008

17

About Fast and TReX Accelerations

Christophe Darlot, Alain Finkel, Laurent Van Begin

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 344 KB

english, 2005

18

The convex hull of a regular set of integer vectors is polyhedral and effectively computable

Alain Finkel, Jérôme Leroux

Journal:

Information Processing Letters

Year:

2005

Language:

english

File:

PDF, 109 KB

english, 2005

19

[Lecture Notes in Computer Science] STACS 92 Volume 577 || Conditional semi-Thue systems for presenting monoids

Finkel, Alain, Jantzen, Matthias

Year:

1992

Language:

english

File:

PDF, 595 KB

english, 1992

20

Unreliable Channels Are Easier to Verify Than Perfect Channels

Gérard Cécé, Alain Finkel, S. Purushothaman Iyer

Journal:

Information and Computation

Year:

1996

Language:

english

File:

PDF, 565 KB

english, 1996

21

Reduction and covering of infinite reachability trees

Journal:

Information and Computation

Year:

1990

Language:

english

File:

PDF, 1.85 MB

english, 1990

22

A well-structured framework for analysing petri net extensions

Alain Finkel, Pierre McKenzie, Claudine Picaronny

Journal:

Information and Computation

Year:

2004

Language:

english

File:

PDF, 360 KB

english, 2004

23

Verification of programs with half-duplex communication

Gérard Cécé, Alain Finkel

Journal:

Information and Computation

Year:

2005

Language:

english

File:

PDF, 327 KB

english, 2005

24

Well-abstracted transition systems: application to FIFO automata

Alain Finkel, S. Purushothaman Iyer, Grégoire Sutre

Journal:

Information and Computation

Year:

2003

Language:

english

File:

PDF, 313 KB

english, 2003

25

[Lecture Notes in Computer Science] STACS 92 Volume 577 || Distributed system simulator (DSS)

Finkel, Alain, Jantzen, Matthias

Year:

1992

Language:

english

File:

PDF, 141 KB

english, 1992

26

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2102 || ICS: Integrated Canonizer and Solver?

Berry, Gérard, Comon, Hubert, Finkel, Alain

Year:

2001

Language:

english

File:

PDF, 81 KB

english, 2001

27

Dense-choice Counter Machines revisited

Bouchy, Florent, Finkel, Alain, San Pietro, Pierluigi

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 802 KB

english, 2014

28

Ordinal theory for expressiveness of well-structured transition systems

Bonnet, Rémi, Finkel, Alain, Haddad, Serge, Rosa-Velardo, Fernando

Journal:

Information and Computation

Year:

2013

Language:

english

File:

PDF, 527 KB

english, 2013

29

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2102 || Towards Efficient Verification of Arithmetic Algorithms over Galois Fields GF(2m)

Berry, Gérard, Comon, Hubert, Finkel, Alain

Year:

2001

Language:

english

File:

PDF, 183 KB

english, 2001

30

[IEEE 2008 15th International Symposium on Temporal Representation and Reasoning (TIME) - Montreal, Quebec, Canada (2008.06.16-2008.06.18)] 2008 15th International Symposium on Temporal Representation and Reasoning - Decomposition of Decidable First-Order Logics over Integers and Reals

Bouchy, Florent, Finkel, Alain, Leroux, J

Year:

2008

Language:

english

File:

PDF, 313 KB

english, 2008

31

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2102 ||

Berry, Gérard, Comon, Hubert, Finkel, Alain

Year:

2001

Language:

english

File:

PDF, 6.93 MB

english, 2001

32

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2102 || Parameterized Verification with Automatically Computed Inductive Assertions?

Berry, Gérard, Comon, Hubert, Finkel, Alain

Year:

2001

Language:

english

File:

PDF, 237 KB

english, 2001

33

[Lecture Notes in Computer Science] STACS 92 Volume 577 || The parallel complexity of tree embedding problems (extended abstract)

Finkel, Alain, Jantzen, Matthias

Year:

1992

Language:

english

File:

PDF, 893 KB

english, 1992

34

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2102 || Fast LTL to Büchi Automata Translation

Berry, Gérard, Comon, Hubert, Finkel, Alain

Year:

2001

Language:

english

File:

PDF, 218 KB

english, 2001

35

Model-checking CTL* over flat Presburger counter systems

Demri, Stéphane, Finkel, Alain, Goranko, Valentin, van Drimmelen, Govert

Journal:

Journal of Applied Non-Classical Logics

Year:

2010

Language:

english

File:

PDF, 338 KB

english, 2010

36

[Lecture Notes in Computer Science] Reachability Problems Volume 7550 || Robustness of Time Petri Nets under Guard Enlargement

Finkel, Alain, Leroux, Jérôme, Potapov, Igor

Year:

2012

Language:

english

File:

PDF, 310 KB

english, 2012

37

BOUNDED PARIKH AUTOMATA

CADILHAC, MICHAËL, FINKEL, ALAIN, MCKENZIE, PIERRE

Journal:

International Journal of Foundations of Computer Science

Year:

2012

Language:

english

File:

PDF, 303 KB

english, 2012

38

UNAMBIGUOUS CONSTRAINED AUTOMATA

CADILHAC, MICHAËL, FINKEL, ALAIN, MCKENZIE, PIERRE

Journal:

International Journal of Foundations of Computer Science

Year:

2013

Language:

english

File:

PDF, 279 KB

english, 2013

39

Recent and simple algorithms for Petri nets

Finkel, Alain, Leroux, Jérôme

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 437 KB

english, 2015

40

[Lecture Notes in Computer Science] STACS 92 Volume 577 || Equality and disequality constraints on direct subterms in tree automata

Finkel, Alain, Jantzen, Matthias

Year:

1992

Language:

english

File:

PDF, 732 KB

english, 1992

41

Using mental imagery processes for teaching and research in mathematics and computer science

Arnoux, Pierre, Finkel, Alain

Journal:

International Journal of Mathematical Education

Year:

2010

Language:

english

File:

PDF, 256 KB

english, 2010

42

[Lecture Notes in Computer Science] STACS 92 Volume 577 || The complexity of colouring circle graphs

Finkel, Alain, Jantzen, Matthias

Year:

1992

Language:

english

File:

PDF, 674 KB

english, 1992

43

[ACM Press the 2nd ACM SIGSOFT symposium - New Orleans, Louisiana, United States (1994.12.06-1994.12.09)] Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '94 - Duplication, insertion and lossiness errors in unreliable communication channels

Cécé, Gérard, Finkel, Alain, Iyer, S. Purushothaman

Year:

1994

Language:

english

File:

PDF, 680 KB

english, 1994

44

[IEEE 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Kyoto, Japan (2015.7.6-2015.7.10)] 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science - Reachability in Two-Dimensional Vector Addition Systems with States Is PSPACE-Complete

Blondin, Michael, Finkel, Alain, Goller, Stefan, Haase, Christoph, McKenzie, Pierre

Year:

2015

Language:

english

File:

PDF, 741 KB

english, 2015

45

Forward analysis and model checking for trace bounded WSTS

Chambart, Pierre, Finkel, Alain, Schmitz, Sylvain

Journal:

Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 1023 KB

english, 2016

46

Duplication, insertion and lossiness errors in unreliable communication channels

Cécé, Gérard, Finkel, Alain, Iyer, S. Purushothaman

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1994

Language:

english

File:

PDF, 680 KB

english, 1994

47

Affine Parikh automata

Cadilhac, Michaël, Finkel, Alain, McKenzie, Pierre

Journal:

RAIRO - Theoretical Informatics and Applications

Year:

2012

Language:

english

File:

PDF, 583 KB

english, 2012

48

The Logical View on Continuous Petri Nets

Blondin, Michael, Finkel, Alain, Haase, Christoph, Haddad, Serge

Journal:

ACM Transactions on Computational Logic

Year:

2017

Language:

english

File:

PDF, 645 KB

english, 2017

49

Handling infinitely branching well-structured transition systems

Blondin, Michael, Finkel, Alain, McKenzie, Pierre

Journal:

Information and Computation

Year:

2018

Language:

english

File:

PDF, 1.02 MB

english, 2018

50

On The Complexity of Counter Reachability Games*

Reichert, Julien, Abdulla, Parosh Aziz, Demri, Stéphane, Finkel, Alain, Leroux, Jérôme, Potapov, Igor

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 171 KB

english, 2016